第12章 論理・集合・記号